#include <stdio.h>
#include <string.h>

int appendChar(char *des, char *src, int pos, int len) //在char数组特定位置追加数据
{
    int i, j;
    for (i = pos, j = 0; j < len; i++, j++)
    {
        des[i] = src[j];
    }
    des[i] = '\0';
    return 1;
}

int main()
{
    char buf[5 * 1024], temp_buf[128];
    // gets(temp_buf);
    while (scanf("%s", temp_buf) != EOF)
    {
        appendChar(buf, temp_buf, strlen(temp_buf))
    }

    printf("%s  %d\n", temp_buf, strlen(temp_buf));
    return 0;
}